Service Oriented Architecture / Software Architecture / Resource Allocation / Distributed System / Model Driven Engineering / Formal Specification / Environment and Development / Open Systems / Application development / Domain Specificity / Power Distribution / Internet / Service Orientation / Formal Specification / Environment and Development / Open Systems / Application development / Domain Specificity / Power Distribution / Internet / Service Orientation
Distributed Computing / Parallel Programming / Computer Hardware / Model Driven Engineering / Computer Software / Embedded System Design / System on Chip / Design Space Exploration / Formal Verification / High performance / Chip / Design framework / Real time and Embedded Systems / Multimedia Application / Embedded System / Structural model / Modeling and Analysis / Embedded System Design / System on Chip / Design Space Exploration / Formal Verification / High performance / Chip / Design framework / Real time and Embedded Systems / Multimedia Application / Embedded System / Structural model / Modeling and Analysis